Exact Upper Bounds and Their Uses in Set Theory

The existence of exact upper bounds for increasing sequences of ordinal functions modulo an ideal is discussed. The main theorem (Theorem 18 below) gives a necessary and sufficient condition for the existence of an exact upper bound / for a \A\~*~ is regular: an eub / with liminf/cf/(a) = /x exists if and only if for every regular K E (|^4|,/Z) the set of flat points in / of cofinality K is stationary. Two applications of the main Theorem to set theory are presented A theorem of Magidor's on covering between models of ZFC is proved using the main theorem (Theorem 22): If V C W are transitive models of set theory with uncovering and GCH holds in V, then /̂ -covering holds between V and W for all cardinals K. A new proof of a Theorem by Cummings on collapsing successors of singulars is also given (Theorem 24). The appendix to the paper contains a short proof of Shelah's trichotomy theorem, for the reaser's convenience. * Research was partially supported by an NSF grant number 9622579